Weierstrassov teorem o uniformnoj konvergenciji reda funkcija je teorem u matematičkoj analizi koji služi za određivanje je li beskonačni red apsolutno i uniformno konvergentan.
Odnosi se na one redove čiji su članovi ograničene funkcije. Teorem je nazvan po velikom njemačkom matematičaru Karlu Weierstrassu.
Neka je
(
f
k
)
{\displaystyle (f_{k})}
niz redova funkcija definiranih na nekom skupu
E
{\displaystyle E}
i neka postoji niz nenegativnih brojeva
a
k
{\displaystyle a_{k}}
takvih da red
∑
k
=
1
∞
a
k
{\displaystyle \sum _{k=1}^{\infty }a_{k}}
konvergira i
|
f
k
(
x
)
|
≤
a
k
{\displaystyle |f_{k}(x)|\leq a_{k}}
vrijedi za sve
k
≥
1
{\displaystyle k\geq 1}
i za sve
x
∈
E
{\displaystyle x\in E}
, tada red
∑
k
=
1
∞
f
k
{\displaystyle \sum _{k=1}^{\infty }f_{k}}
konvergira apsolutno i uniformno na
E
{\displaystyle E}
.
Prema teoremu o uspoređivanju redova, red
∑
k
=
1
∞
f
k
(
x
)
{\displaystyle \sum _{k=1}^{\infty }f_{k}(x)}
apsolutno konvergira za
svaki
x
∈
E
{\displaystyle x\in E}
. Neka je
f
(
x
)
=
∑
k
=
1
∞
f
k
(
x
)
,
S
n
(
x
)
=
∑
k
=
1
n
f
k
(
x
)
{\displaystyle f(x)=\sum _{k=1}^{\infty }f_{k}(x),S_{n}(x)=\sum _{k=1}^{n}f_{k}(x)}
te
A
=
∑
k
=
1
∞
a
k
,
τ
n
=
∑
k
=
1
n
a
k
.
{\displaystyle A=\sum _{k=1}^{\infty }a_{k},\tau _{n}=\sum _{k=1}^{n}a_{k}.}
Ako je
|
f
k
(
x
)
|
≤
a
k
{\displaystyle |f_{k}(x)|\leq a_{k}}
, za
k
>
n
1
{\displaystyle k>n_{1}}
i sve
x
∈
E
{\displaystyle x\in E}
, tada za sve
m
,
n
∈
N
(
m
>
n
>
n
1
)
{\displaystyle m,n\in \mathbb {N} (m>n>n_{1})}
i za svaki
x
∈
E
{\displaystyle x\in E}
imamo
|
∑
k
=
n
+
1
m
f
k
(
x
)
|
≤
∑
k
=
n
+
1
m
|
f
k
(
x
)
|
≤
∑
k
=
n
+
1
m
a
k
=
τ
m
−
τ
n
.
{\displaystyle |\sum _{k=n+1}^{m}f_{k}(x)|\leq \sum _{k=n+1}^{m}|fk(x)|\leq \sum _{k=n+1}^{m}a_{k}=\tau _{m}-\tau _{n}.}
Odavde, pri
m
→
∞
{\displaystyle m\rightarrow \infty }
, za svaki
x
∈
E
{\displaystyle x\in E}
imamo
|
f
(
x
)
−
S
n
(
x
)
|
<
A
−
τ
n
→
0
,
(
n
→
∞
)
.
{\displaystyle |f(x)-S_{n}(x)|<A-\tau _{n}\rightarrow 0,(n\rightarrow \infty ).}
To znači da za svaki
ϵ
>
0
{\displaystyle \epsilon >0}
postoji
n
0
∈
N
{\displaystyle n_{0}\in \mathbb {N} }
takav da za svaki
x
∈
E
{\displaystyle x\in E}
vrijedi
(
n
>
n
0
)
⟹
|
f
(
x
)
−
S
n
(
x
)
|
<
ϵ
{\displaystyle (n>n0)\implies |f(x)-S_{n}(x)|<\epsilon }
, što znači da red
∑
k
=
1
∞
f
k
{\displaystyle \sum _{k=1}^{\infty }f_{k}}
uniformno konvergira na
E
{\displaystyle E}
, što je i trebalo pokazati.[ 1]
↑ Matematička analiza 2, Nermina Mujaković, 2013.